ePMC

Benchmark
Model:pacman v.1 (MDP)
Parameter(s)MAXSTEPS = 60
Property:crash (prob-reach)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files pacman.nm --model-input-type prism --property-input-files pacman.props --property-input-names crash --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const MAXSTEPS=60
Execution
Walltime:> 1800s (Timeout)
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property crash
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 2820 2819
build-model-states-explored 5993 3174
build-model-states-explored 9082 3089
build-model-states-explored 12257 3175
build-model-states-explored 15174 2917
build-model-states-explored 18811 3637
build-model-states-explored 22069 3258
build-model-states-explored 25035 2966
build-model-states-explored 27940 2905
build-model-states-explored 30914 2974
build-model-states-explored 34072 3158
build-model-states-explored 37862 3790
build-model-states-explored 41420 3558
build-model-states-explored 44382 2962
build-model-states-explored 47340 2958
build-model-states-explored 50289 2949
build-model-states-explored 53246 2957
build-model-states-explored 56076 2830
build-model-states-explored 59039 2963
build-model-states-explored 62003 2964
build-model-states-explored 65392 3389
build-model-states-explored 69176 3784
build-model-states-explored 72975 3799
build-model-states-explored 76766 3791
build-model-states-explored 80061 3295
build-model-states-explored 83027 2966
build-model-states-explored 85989 2962
build-model-states-explored 88954 2965
build-model-states-explored 91918 2964
build-model-states-explored 94886 2968
build-model-states-explored 97830 2944
build-model-states-explored 100804 2974
build-model-states-explored 103778 2974
build-model-states-explored 106747 2969
build-model-states-explored 109451 2704
build-model-states-explored 112409 2958
build-model-states-explored 115374 2965
build-model-states-explored 118340 2966
build-model-states-explored 121686 3346
build-model-states-explored 125483 3797
build-model-states-explored 129270 3787
build-model-states-explored 133045 3775
build-model-states-explored 136816 3771
build-model-states-explored 140603 3787
build-model-states-explored 144399 3796
build-model-states-explored 147377 2978
build-model-states-explored 150335 2958
build-model-states-explored 153297 2962
build-model-states-explored 156262 2965
build-model-states-explored 159222 2960
build-model-states-explored 162174 2952
build-model-states-explored 165136 2962
build-model-states-explored 168101 2965
build-model-states-explored 171065 2964
build-model-states-explored 174038 2973
build-model-states-explored 176996 2958
build-model-states-explored 179962 2966
build-model-states-explored 182912 2950
build-model-states-explored 185840 2928
build-model-states-explored 188797 2957
build-model-states-explored 191756 2959
build-model-states-explored 194689 2933
build-model-states-explored 197640 2951
build-model-states-explored 200568 2928
build-model-states-explored 203492 2924
build-model-states-explored 206446 2954
build-model-states-explored 209390 2944
build-model-states-explored 212321 2931
build-model-states-explored 215941 3620
build-model-states-explored 219060 3119
build-model-states-explored 222861 3801
build-model-states-explored 226633 3772
build-model-states-explored 230418 3785
build-model-states-explored 234213 3795
build-model-states-explored 237993 3780
build-model-states-explored 241766 3773
build-model-states-explored 245560 3794
build-model-states-explored 249321 3761
build-model-states-explored 253078 3757
build-model-states-explored 256034 2956
build-model-states-explored 258989 2955
build-model-states-explored 261939 2950
build-model-states-explored 264873 2934
build-model-states-explored 267831 2958
build-model-states-explored 270796 2965
build-model-states-explored 273760 2964
build-model-states-explored 276722 2962
build-model-states-explored 279680 2958
build-model-states-explored 282647 2967
build-model-states-explored 285607 2960
build-model-states-explored 288568 2961
build-model-states-explored 291532 2964
build-model-states-explored 294494 2962
build-model-states-explored 297459 2965
build-model-states-explored 300427 2968
build-model-states-explored 303387 2960
build-model-states-explored 306336 2949
build-model-states-explored 309299 2963
build-model-states-explored 312250 2951
build-model-states-explored 315203 2953
build-model-states-explored 318160 2957
build-model-states-explored 321116 2956
build-model-states-explored 324084 2968
build-model-states-explored 327037 2953
build-model-states-explored 330004 2967
build-model-states-explored 332971 2967
build-model-states-explored 335917 2946
build-model-states-explored 338883 2966
build-model-states-explored 341852 2969
build-model-states-explored 344820 2968
build-model-states-explored 347781 2961
build-model-states-explored 350752 2971
build-model-states-explored 353719 2967
build-model-states-explored 356687 2968
build-model-states-explored 359652 2965
build-model-states-explored 363282 3630
build-model-states-explored 367078 3796
build-model-states-explored 370873 3795
build-model-states-explored 374680 3807
build-model-states-explored 378492 3812
build-model-states-explored 382173 3681
build-model-states-explored 385957 3784
build-model-states-explored 389746 3789
build-model-states-explored 393535 3789
build-model-states-explored 397331 3796
build-model-states-explored 401101 3770
build-model-states-explored 404883 3782
build-model-states-explored 408681 3798
build-model-states-explored 411118 2437
build-model-states-explored 414909 3791
build-model-states-explored 418713 3804
build-model-states-explored 422132 3419
build-model-states-explored 425099 2967
build-model-states-explored 428065 2966
build-model-states-explored 431030 2965
build-model-states-explored 433996 2966
build-model-states-explored 436964 2968
build-model-states-explored 439930 2966
build-model-states-explored 442898 2968
build-model-states-explored 445858 2960
build-model-states-explored 448820 2962
build-model-states-explored 451785 2965
build-model-states-explored 454749 2964
build-model-states-explored 457712 2963
build-model-states-explored 460674 2962
build-model-states-explored 463630 2956
build-model-states-explored 466593 2963
build-model-states-explored 469553 2960
build-model-states-explored 472516 2963
build-model-states-explored 475481 2965
build-model-states-explored 478446 2965
build-model-states-explored 481415 2969
build-model-states-explored 484381 2966
build-model-states-explored 487345 2964
build-model-states-explored 490309 2964
build-model-states-explored 493273 2964
build-model-states-explored 496236 2963
build-model-states-explored 499298 3062
build-model-states-explored 502686 3388
build-model-states-explored 506077 3391
build-model-states-explored 509473 3396
build-model-states-explored 512856 3383
build-model-states-explored 516249 3393
build-model-states-explored 519627 3378
build-model-states-explored 523016 3389
build-model-states-explored 526347 3331
build-model-states-explored 529731 3384
build-model-states-explored 533121 3390
build-model-states-explored 536513 3392
build-model-states-explored 539903 3390
build-model-states-explored 543296 3393
build-model-states-explored 546684 3388
build-model-states-explored 550069 3385
build-model-states-explored 553459 3390
build-model-states-explored 556844 3385
build-model-states-explored 560237 3393
build-model-states-explored 563630 3393
build-model-states-explored 567024 3394
build-model-states-explored 570418 3394
build-model-states-explored 573807 3389
build-model-states-explored 577196 3389
build-model-states-explored 581513 4317
build-model-states-explored 585797 4284
build-model-states-explored 590062 4265
build-model-states-explored 594334 4272
build-model-states-explored 598742 4408
build-model-states-explored 603143 4401
build-model-states-explored 607381 4238
build-model-states-explored 611777 4396
build-model-states-explored 616181 4404
build-model-states-explored 620607 4426
build-model-states-explored 625014 4407
build-model-states-explored 629398 4384
build-model-states-explored 633770 4372
build-model-states-explored 638156 4386
build-model-states-explored 642566 4410
build-model-states-explored 646902 4336
build-model-states-explored 651278 4376
build-model-states-explored 655660 4382
build-model-states-explored 660052 4392
build-model-states-explored 664084 4032
build-model-states-explored 667471 3387
build-model-states-explored 670865 3394
build-model-states-explored 674236 3371
build-model-states-explored 677634 3398
build-model-states-explored 680991 3357
build-model-states-explored 684391 3400
build-model-states-explored 687794 3403
build-model-states-explored 691193 3399
build-model-states-explored 694592 3399
build-model-states-explored 697992 3400
build-model-states-explored 701375 3383
build-model-states-explored 704756 3381
build-model-states-explored 708150 3394
build-model-states-explored 711556 3406
build-model-states-explored 714965 3409
build-model-states-explored 718358 3392
build-model-states-explored 721760 3403
build-model-states-explored 725159 3399
build-model-states-explored 728561 3402
build-model-states-explored 731962 3401
build-model-states-explored 735363 3401
build-model-states-explored 738774 3411
build-model-states-explored 742182 3408
build-model-states-explored 745584 3402
build-model-states-explored 748988 3404
build-model-states-explored 752395 3407
build-model-states-explored 755803 3408
build-model-states-explored 759213 3410
build-model-states-explored 762620 3407
build-model-states-explored 766028 3408
build-model-states-explored 769279 3251
build-model-states-explored 772670 3391
build-model-states-explored 776057 3387
build-model-states-explored 779439 3382
build-model-states-explored 782823 3384
build-model-states-explored 786209 3386
build-model-states-explored 789600 3391
build-model-states-explored 792991 3391
build-model-states-explored 796376 3385
build-model-states-explored 799757 3381
build-model-states-explored 803137 3380
build-model-states-explored 806498 3361
build-model-states-explored 809889 3391
build-model-states-explored 813277 3388
build-model-states-explored 816662 3385
build-model-states-explored 820054 3392
build-model-states-explored 823448 3394
build-model-states-explored 826835 3387
build-model-states-explored 830224 3389
build-model-states-explored 833616 3392
build-model-states-explored 837001 3385
build-model-states-explored 840371 3370
build-model-states-explored 843758 3387
build-model-states-explored 847148 3390
build-model-states-explored 850537 3389
build-model-states-explored 853930 3393
build-model-states-explored 856587 2657
build-model-states-explored 858292 1705
build-model-states-explored 861685 3393
build-model-states-explored 865073 3388
build-model-states-explored 868465 3392
build-model-states-explored 871859 3394
build-model-states-explored 875243 3384
build-model-states-explored 878660 3417
build-model-states-explored 883048 4388
build-model-states-explored 887456 4408
build-model-states-explored 891857 4401
build-model-states-explored 896256 4399
build-model-states-explored 900656 4400
build-model-states-explored 905060 4404
build-model-states-explored 909473 4413
build-model-states-explored 913875 4402
build-model-states-explored 918271 4396
build-model-states-explored 922629 4358
build-model-states-explored 927025 4396
build-model-states-explored 931422 4397
build-model-states-explored 935818 4396
build-model-states-explored 940236 4418
build-model-states-explored 944647 4411
build-model-states-explored 949035 4388
build-model-states-explored 953447 4412
build-model-states-explored 957834 4387
build-model-states-explored 962201 4367
build-model-states-explored 966610 4409
build-model-states-explored 971028 4418
build-model-states-explored 975424 4396
build-model-states-explored 979818 4394
build-model-states-explored 984213 4395
build-model-states-explored 988605 4392
build-model-states-explored 993011 4406
build-model-states-explored 996846 3835
build-model-states-explored 1000244 3398
build-model-states-explored 1003644 3400
build-model-states-explored 1007046 3402
build-model-states-explored 1010446 3400
build-model-states-explored 1013840 3394
build-model-states-explored 1017229 3389
build-model-states-explored 1020624 3395
build-model-states-explored 1024020 3396
build-model-states-explored 1027421 3401
build-model-states-explored 1030824 3403
build-model-states-explored 1034231 3407
build-model-states-explored 1037635 3404
build-model-states-explored 1041034 3399
build-model-states-explored 1044435 3401
build-model-states-explored 1047810 3375
build-model-states-explored 1051095 3285
build-model-states-explored 1054483 3388
build-model-states-explored 1057869 3386
build-model-states-explored 1061269 3400
build-model-states-explored 1064670 3401
build-model-states-explored 1068077 3407
build-model-states-explored 1071458 3381
build-model-states-explored 1074858 3400
build-model-states-explored 1078260 3402
build-model-states-explored 1081659 3399
build-model-states-explored 1085062 3403
build-model-states-explored 1088447 3385
build-model-states-explored 1091841 3394
build-model-states-explored 1095238 3397
build-model-states-explored 1098634 3396
build-model-states-explored 1102038 3404
build-model-states-explored 1105434 3396
build-model-states-explored 1108830 3396
build-model-states-explored 1112231 3401
build-model-states-explored 1115630 3399
build-model-states-explored 1119028 3398
build-model-states-explored 1122426 3398
build-model-states-explored 1125827 3401
build-model-states-explored 1129229 3402
build-model-states-explored 1132633 3404
build-model-states-explored 1136022 3389
build-model-states-explored 1139374 3352
build-model-states-explored 1142753 3379
build-model-states-explored 1146144 3391
build-model-states-explored 1149533 3389
build-model-states-explored 1152920 3387
build-model-states-explored 1156300 3380
build-model-states-explored 1159686 3386
build-model-states-explored 1163073 3387
build-model-states-explored 1166451 3378
build-model-states-explored 1169839 3388
build-model-states-explored 1173220 3381
build-model-states-explored 1176608 3388
build-model-states-explored 1179994 3386
build-model-states-explored 1183379 3385
build-model-states-explored 1186765 3386
build-model-states-explored 1190151 3386
build-model-states-explored 1193537 3386
build-model-states-explored 1196921 3384
build-model-states-explored 1200300 3379
build-model-states-explored 1203682 3382
build-model-states-explored 1207066 3384
build-model-states-explored 1210452 3386
build-model-states-explored 1213843 3391
build-model-states-explored 1217231 3388
build-model-states-explored 1220611 3380
build-model-states-explored 1223961 3350
build-model-states-explored 1227333 3372
build-model-states-explored 1230721 3388
build-model-states-explored 1234105 3384
build-model-states-explored 1237493 3388
build-model-states-explored 1240843 3350
build-model-states-explored 1244182 3339
build-model-states-explored 1247550 3368
build-model-states-explored 1250913 3363
build-model-states-explored 1254277 3364
build-model-states-explored 1257600 3323
build-model-states-explored 1260977 3377
build-model-states-explored 1264363 3386
build-model-states-explored 1267748 3385
build-model-states-explored 1271137 3389
build-model-states-explored 1274528 3391
build-model-states-explored 1277915 3387
build-model-states-explored 1281304 3389
build-model-states-explored 1285388 4084
build-model-states-explored 1289769 4381
build-model-states-explored 1294168 4399
build-model-states-explored 1298514 4346
build-model-states-explored 1302910 4396
build-model-states-explored 1307325 4415
build-model-states-explored 1311742 4417
build-model-states-explored 1316150 4408
build-model-states-explored 1320551 4401
build-model-states-explored 1324961 4410
build-model-states-explored 1329380 4419
build-model-states-explored 1333755 4375
build-model-states-explored 1338151 4396
build-model-states-explored 1342492 4341
build-model-states-explored 1346811 4319
build-model-states-explored 1351215 4404
build-model-states-explored 1355613 4398
build-model-states-explored 1359932 4319
build-model-states-explored 1364322 4390
build-model-states-explored 1368733 4411
build-model-states-explored 1373117 4384
build-model-states-explored 1377444 4327
build-model-states-explored 1381836 4392
build-model-states-explored 1386240 4404
build-model-states-explored 1390603 4363
build-model-states-explored 1394974 4371
build-model-states-explored 1399206 4232
build-model-states-explored 1403615 4409
build-model-states-explored 1408030 4415
build-model-states-explored 1412437 4407
build-model-states-explored 1416845 4408
build-model-states-explored 1421252 4407
build-model-states-explored 1425650 4398
build-model-states-explored 1430047 4397
build-model-states-explored 1434452 4405
build-model-states-explored 1437994 3542
build-model-states-explored 1441394 3400
build-model-states-explored 1444788 3394
build-model-states-explored 1448182 3394
build-model-states-explored 1451579 3397
build-model-states-explored 1454971 3392
build-model-states-explored 1458370 3399
build-model-states-explored 1461773 3403
build-model-states-explored 1465173 3400
build-model-states-explored 1468577 3404
build-model-states-explored 1471982 3405
build-model-states-explored 1475377 3395
build-model-states-explored 1478779 3402
build-model-states-explored 1482176 3397
build-model-states-explored 1485576 3400
build-model-states-explored 1488980 3404
build-model-states-explored 1492384 3404
build-model-states-explored 1495785 3401
build-model-states-explored 1499176 3391
build-model-states-explored 1502578 3402
build-model-states-explored 1505980 3402
build-model-states-explored 1509378 3398
build-model-states-explored 1512777 3399
build-model-states-explored 1516167 3390
build-model-states-explored 1519572 3405
build-model-states-explored 1522693 3121
build-model-states-explored 1526086 3393
build-model-states-explored 1529463 3377
build-model-states-explored 1532855 3392
build-model-states-explored 1536253 3398
build-model-states-explored 1539647 3394
build-model-states-explored 1543043 3396
build-model-states-explored 1546438 3395
build-model-states-explored 1549837 3399
build-model-states-explored 1553227 3390
build-model-states-explored 1556618 3391
build-model-states-explored 1560016 3398
build-model-states-explored 1563417 3401
build-model-states-explored 1566818 3401
build-model-states-explored 1570212 3394
build-model-states-explored 1573606 3394
build-model-states-explored 1577005 3399
build-model-states-explored 1580403 3398
build-model-states-explored 1583795 3392
build-model-states-explored 1587184 3389
build-model-states-explored 1590575 3391
build-model-states-explored 1593968 3393
build-model-states-explored 1597364 3396
build-model-states-explored 1600767 3403
build-model-states-explored 1604164 3397
build-model-states-explored 1607563 3399
build-model-states-explored 1610965 3402
build-model-states-explored 1614363 3398
build-model-states-explored 1617754 3391
build-model-states-explored 1621144 3390
build-model-states-explored 1624532 3388
build-model-states-explored 1627921 3389
build-model-states-explored 1631309 3388
build-model-states-explored 1634695 3386
build-model-states-explored 1638050 3355
build-model-states-explored 1641444 3394
build-model-states-explored 1644831 3387
build-model-states-explored 1648221 3390
build-model-states-explored 1651609 3388
build-model-states-explored 1655003 3394
build-model-states-explored 1658391 3388
build-model-states-explored 1661781 3390
build-model-states-explored 1665166 3385
build-model-states-explored 1668549 3383
build-model-states-explored 1671913 3364
build-model-states-explored 1675296 3383
build-model-states-explored 1678683 3387
build-model-states-explored 1682073 3390
build-model-states-explored 1685457 3384
build-model-states-explored 1688830 3373
build-model-states-explored 1692212 3382
build-model-states-explored 1692292 80
build-model-states-explored 1694166 1874
build-model-states-explored 1697554 3388
build-model-states-explored 1700937 3383
build-model-states-explored 1704326 3389
build-model-states-explored 1707715 3389
build-model-states-explored 1711103 3388
build-model-states-explored 1714488 3385
build-model-states-explored 1717871 3383
build-model-states-explored 1721259 3388
build-model-states-explored 1724648 3389
build-model-states-explored 1728041 3393
build-model-states-explored 1731427 3386
build-model-states-explored 1734811 3384
build-model-states-explored 1738202 3391
build-model-states-explored 1741587 3385
build-model-states-explored 1744969 3382
build-model-states-explored 1748359 3390
build-model-states-explored 1751751 3392
build-model-states-explored 1755140 3389
build-model-states-explored 1758531 3391
build-model-states-explored 1761917 3386
build-model-states-explored 1765302 3385
build-model-states-explored 1768691 3389
build-model-states-explored 1772082 3391
build-model-states-explored 1775468 3386
build-model-states-explored 1778852 3384
build-model-states-explored 1782238 3386
build-model-states-explored 1785622 3384
build-model-states-explored 1789009 3387
build-model-states-explored 1792400 3391
build-model-states-explored 1795788 3388
build-model-states-explored 1799174 3386
build-model-states-explored 1803292 4118
build-model-states-explored 1807665 4373
build-model-states-explored 1812065 4400
build-model-states-explored 1816485 4420
build-model-states-explored 1820977 4492
build-model-states-explored 1825476 4499
build-model-states-explored 1829967 4491
build-model-states-explored 1834457 4490
build-model-states-explored 1838959 4502
build-model-states-explored 1843455 4496
build-model-states-explored 1847960 4505
build-model-states-explored 1852452 4492
build-model-states-explored 1856958 4506
build-model-states-explored 1861460 4502
build-model-states-explored 1865959 4499
build-model-states-explored 1870458 4499
build-model-states-explored 1874944 4486
build-model-states-explored 1879421 4477
build-model-states-explored 1883864 4443
build-model-states-explored 1888370 4506
build-model-states-explored 1892877 4507
build-model-states-explored 1897387 4510
build-model-states-explored 1901894 4507
build-model-states-explored 1906399 4505
build-model-states-explored 1910909 4510
build-model-states-explored 1915403 4494
build-model-states-explored 1919904 4501
build-model-states-explored 1924405 4501
build-model-states-explored 1928910 4505
build-model-states-explored 1933412 4502
build-model-states-explored 1937915 4503
build-model-states-explored 1942419 4504
build-model-states-explored 1946896 4477
build-model-states-explored 1951374 4478
build-model-states-explored 1955849 4475
build-model-states-explored 1960340 4491
build-model-states-explored 1964847 4507
build-model-states-explored 1969338 4491
build-model-states-explored 1973818 4480
build-model-states-explored 1978325 4507
build-model-states-explored 1982819 4494
build-model-states-explored 1987315 4496
build-model-states-explored 1991797 4482
build-model-states-explored 1995393 3596
build-model-states-explored 1998839 3446
build-model-states-explored 2002290 3451
build-model-states-explored 2005726 3436
build-model-states-explored 2009174 3448
build-model-states-explored 2012618 3444
build-model-states-explored 2016068 3450
build-model-states-explored 2019519 3451
build-model-states-explored 2022966 3447
build-model-states-explored 2026411 3445
build-model-states-explored 2029854 3443
build-model-states-explored 2033295 3441
build-model-states-explored 2036740 3445
build-model-states-explored 2040193 3453
build-model-states-explored 2043641 3448
build-model-states-explored 2047089 3448
build-model-states-explored 2050548 3459
build-model-states-explored 2054004 3456
build-model-states-explored 2057455 3451
build-model-states-explored 2060908 3453
build-model-states-explored 2064356 3448
build-model-states-explored 2067813 3457
build-model-states-explored 2071269 3456
build-model-states-explored 2074718 3449
build-model-states-explored 2078172 3454
build-model-states-explored 2081614 3442
build-model-states-explored 2085058 3444
build-model-states-explored 2088504 3446
build-model-states-explored 2091949 3445
build-model-states-explored 2095398 3449
build-model-states-explored 2098631 3233
build-model-states-explored 2102082 3451
build-model-states-explored 2105534 3452
build-model-states-explored 2108976 3442
build-model-states-explored 2112421 3445
build-model-states-explored 2115876 3455
build-model-states-explored 2119323 3447
build-model-states-explored 2122777 3454
build-model-states-explored 2126234 3457
build-model-states-explored 2129687 3453
build-model-states-explored 2133145 3458
build-model-states-explored 2136597 3452
build-model-states-explored 2140056 3459
build-model-states-explored 2143508 3452
build-model-states-explored 2146960 3452
build-model-states-explored 2150407 3447
build-model-states-explored 2153852 3445
build-model-states-explored 2157302 3450
build-model-states-explored 2160756 3454
build-model-states-explored 2164213 3457
build-model-states-explored 2167668 3455
build-model-states-explored 2171120 3452
build-model-states-explored 2174576 3456
build-model-states-explored 2178029 3453
build-model-states-explored 2181482 3453
build-model-states-explored 2184937 3455
build-model-states-explored 2188395 3458
build-model-states-explored 2191845 3450
build-model-states-explored 2195292 3447
build-model-states-explored 2198739 3447
build-model-states-explored 2202184 3445
build-model-states-explored 2205633 3449
build-model-states-explored 2209090 3457
build-model-states-explored 2212539 3449
build-model-states-explored 2215988 3449
build-model-states-explored 2219438 3450
build-model-states-explored 2222892 3454
build-model-states-explored 2226344 3452
build-model-states-explored 2229792 3448
build-model-states-explored 2233213 3421
build-model-states-explored 2236667 3454
build-model-states-explored 2240118 3451
build-model-states-explored 2243578 3460
build-model-states-explored 2247032 3454
build-model-states-explored 2250487 3455
build-model-states-explored 2253928 3441
build-model-states-explored 2257376 3448
build-model-states-explored 2260831 3455
build-model-states-explored 2264278 3447
build-model-states-explored 2267715 3437
build-model-states-explored 2271164 3449
build-model-states-explored 2274613 3449
build-model-states-explored 2278070 3457
build-model-states-explored 2281525 3455
build-model-states-explored 2284981 3456
build-model-states-explored 2288434 3453
build-model-states-explored 2291888 3454
build-model-states-explored 2295336 3448
build-model-states-explored 2298773 3437
build-model-states-explored 2302224 3451
build-model-states-explored 2305653 3429
build-model-states-explored 2309097 3444
build-model-states-explored 2312549 3452
build-model-states-explored 2316001 3452
build-model-states-explored 2319459 3458
build-model-states-explored 2322868 3409
build-model-states-explored 2326321 3453
build-model-states-explored 2329766 3445
build-model-states-explored 2333221 3455
build-model-states-explored 2336678 3457
build-model-states-explored 2340093 3415
build-model-states-explored 2343493 3400
build-model-states-explored 2346935 3442
build-model-states-explored 2350364 3429
build-model-states-explored 2353789 3425
build-model-states-explored 2357170 3381
build-model-states-explored 2360615 3445
build-model-states-explored 2364070 3455
build-model-states-explored 2367525 3455
build-model-states-explored 2370981 3456
build-model-states-explored 2374437 3456
build-model-states-explored 2377884 3447
build-model-states-explored 2381339 3455
build-model-states-explored 2384798 3459
build-model-states-explored 2388252 3454
build-model-states-explored 2391680 3428
build-model-states-explored 2395126 3446
build-model-states-explored 2398580 3454
build-model-states-explored 2402037 3457
build-model-states-explored 2405488 3451
build-model-states-explored 2408944 3456
build-model-states-explored 2412393 3449
build-model-states-explored 2415829 3436
build-model-states-explored 2419263 3434
build-model-states-explored 2422718 3455
build-model-states-explored 2426173 3455
build-model-states-explored 2429623 3450
build-model-states-explored 2433087 3464
build-model-states-explored 2436557 3470
build-model-states-explored 2441036 4479
build-model-states-explored 2445515 4479
build-model-states-explored 2449995 4480
build-model-states-explored 2454491 4496
build-model-states-explored 2459005 4514
build-model-states-explored 2463441 4436
build-model-states-explored 2467947 4506
build-model-states-explored 2472443 4496
build-model-states-explored 2476953 4510
build-model-states-explored 2481482 4529
build-model-states-explored 2485978 4496
build-model-states-explored 2490474 4496
build-model-states-explored 2494926 4452
build-model-states-explored 2499447 4521
build-model-states-explored 2503944 4497
build-model-states-explored 2508453 4509
build-model-states-explored 2512938 4485
build-model-states-explored 2517422 4484
build-model-states-explored 2521916 4494
build-model-states-explored 2526308 4392
build-model-states-explored 2530799 4491
build-model-states-explored 2535287 4488
build-model-states-explored 2539793 4506
build-model-states-explored 2544302 4509
build-model-states-explored 2548751 4449
build-model-states-explored 2553209 4458
build-model-states-explored 2557684 4475
build-model-states-explored 2562104 4420
build-model-states-explored 2566622 4518
build-model-states-explored 2571144 4522
build-model-states-explored 2575470 4326
build-model-states-explored 2579908 4438
build-model-states-explored 2584407 4499
build-model-states-explored 2588905 4498
build-model-states-explored 2593402 4497
build-model-states-explored 2597904 4502
build-model-states-explored 2602380 4476
build-model-states-explored 2606887 4507
build-model-states-explored 2611397 4510
build-model-states-explored 2615883 4486
build-model-states-explored 2620357 4474
build-model-states-explored 2624849 4492
build-model-states-explored 2629298 4449
build-model-states-explored 2633741 4443
build-model-states-explored 2638234 4493
build-model-states-explored 2642733 4499
build-model-states-explored 2647246 4513
build-model-states-explored 2651758 4512
build-model-states-explored 2656247 4489
build-model-states-explored 2660743 4496
build-model-states-explored 2665190 4447
build-model-states-explored 2668646 3456
build-model-states-explored 2672102 3456
build-model-states-explored 2675553 3451
build-model-states-explored 2678995 3442
build-model-states-explored 2682415 3420
build-model-states-explored 2685870 3455
build-model-states-explored 2689322 3452
build-model-states-explored 2692751 3429
build-model-states-explored 2696203 3452
build-model-states-explored 2699652 3449
build-model-states-explored 2703110 3458
build-model-states-explored 2706561 3451
build-model-states-explored 2710015 3454
build-model-states-explored 2713465 3450
build-model-states-explored 2716860 3395
build-model-states-explored 2720312 3452
build-model-states-explored 2723697 3385
build-model-states-explored 2727149 3452
build-model-states-explored 2730598 3449
build-model-states-explored 2734033 3435
build-model-states-explored 2737493 3460
build-model-states-explored 2740947 3454
build-model-states-explored 2744394 3447
build-model-states-explored 2747836 3442
build-model-states-explored 2751289 3453
build-model-states-explored 2754740 3451
build-model-states-explored 2758169 3429
build-model-states-explored 2761615 3446
build-model-states-explored 2765061 3446
build-model-states-explored 2768515 3454
build-model-states-explored 2771956 3441
build-model-states-explored 2775412 3456
build-model-states-explored 2778735 3323
build-model-states-explored 2782195 3460
build-model-states-explored 2785646 3451
build-model-states-explored 2789096 3450
build-model-states-explored 2792545 3449
build-model-states-explored 2795996 3451
build-model-states-explored 2799445 3449
build-model-states-explored 2802889 3444
build-model-states-explored 2806348 3459
build-model-states-explored 2809793 3445
build-model-states-explored 2813243 3450
build-model-states-explored 2816698 3455
build-model-states-explored 2820147 3449
build-model-states-explored 2823592 3445
build-model-states-explored 2827042 3450
build-model-states-explored 2830481 3439
build-model-states-explored 2833930 3449
build-model-states-explored 2837374 3444
build-model-states-explored 2840825 3451
build-model-states-explored 2844258 3433
build-model-states-explored 2847713 3455
build-model-states-explored 2851162 3449
build-model-states-explored 2854617 3455
build-model-states-explored 2858071 3454
build-model-states-explored 2861476 3405
build-model-states-explored 2864918 3442
build-model-states-explored 2868355 3437
build-model-states-explored 2871799 3444
build-model-states-explored 2875247 3448
build-model-states-explored 2878691 3444
build-model-states-explored 2882145 3454
build-model-states-explored 2885407 3262
build-model-states-explored 2888852 3445
build-model-states-explored 2892309 3457
build-model-states-explored 2895752 3443
build-model-states-explored 2899196 3444
build-model-states-explored 2902645 3449
build-model-states-explored 2906095 3450
build-model-states-explored 2909544 3449
build-model-states-explored 2912987 3443
build-model-states-explored 2916435 3448
build-model-states-explored 2919892 3457
build-model-states-explored 2923358 3466
build-model-states-explored 2926814 3456
build-model-states-explored 2930274 3460
build-model-states-explored 2933726 3452
build-model-states-explored 2937172 3446
build-model-states-explored 2940632 3460
build-model-states-explored 2944090 3458
build-model-states-explored 2947547 3457
build-model-states-explored 2950999 3452
build-model-states-explored 2954454 3455
build-model-states-explored 2957899 3445
build-model-states-explored 2961357 3458
build-model-states-explored 2964816 3459
build-model-states-explored 2968266 3450
build-model-states-explored 2971713 3447
build-model-states-explored 2975172 3459
build-model-states-explored 2978633 3461
build-model-states-explored 2982093 3460
build-model-states-explored 2985550 3457
build-model-states-explored 2989003 3453
build-model-states-explored 2992459 3456
build-model-states-explored 2995915 3456
build-model-states-explored 2999369 3454
build-model-states-explored 3002824 3455
build-model-states-explored 3006284 3460
build-model-states-explored 3009737 3453
build-model-states-explored 3013195 3458
build-model-states-explored 3016651 3456
build-model-states-explored 3020105 3454
build-model-states-explored 3023558 3453
build-model-states-explored 3027020 3462
build-model-states-explored 3030483 3463
build-model-states-explored 3033940 3457
build-model-states-explored 3037385 3445
build-model-states-explored 3040828 3443
build-model-states-explored 3044273 3445
build-model-states-explored 3047730 3457
build-model-states-explored 3051162 3432
build-model-states-explored 3054623 3461
build-model-states-explored 3058075 3452
build-model-states-explored 3061524 3449
build-model-states-explored 3064981 3457
build-model-states-explored 3068439 3458
build-model-states-explored 3071869 3430
build-model-states-explored 3075326 3457
build-model-states-explored 3078780 3454
build-model-states-explored 3082232 3452
build-model-states-explored 3085403 3171
build-model-states-explored 3088574 3171
build-model-states-explored 3092029 3455
build-model-states-explored 3095484 3455
build-model-states-explored 3098935 3451
build-model-states-explored 3102380 3445
build-model-states-explored 3105829 3449
build-model-states-explored 3109282 3453
build-model-states-explored 3112726 3444
build-model-states-explored 3116178 3452
build-model-states-explored 3119631 3453
build-model-states-explored 3123083 3452
build-model-states-explored 3126539 3456
build-model-states-explored 3129993 3454
build-model-states-explored 3133445 3452
build-model-states-explored 3136901 3456
build-model-states-explored 3140355 3454
build-model-states-explored 3143807 3452
build-model-states-explored 3147236 3429
build-model-states-explored 3150680 3444
build-model-states-explored 3154128 3448
build-model-states-explored 3157577 3449
build-model-states-explored 3161030 3453
build-model-states-explored 3164473 3443
build-model-states-explored 3167913 3440
build-model-states-explored 3171361 3448
build-model-states-explored 3174812 3451
build-model-states-explored 3178392 3580
build-model-states-explored 3182858 4466
build-model-states-explored 3187325 4467
build-model-states-explored 3191817 4492
build-model-states-explored 3196320 4503
build-model-states-explored 3200820 4500
build-model-states-explored 3205326 4506
build-model-states-explored 3209841 4515
build-model-states-explored 3214363 4522
build-model-states-explored 3218884 4521
build-model-states-explored 3223401 4517
build-model-states-explored 3227925 4524
build-model-states-explored 3232451 4526
build-model-states-explored 3236975 4524
build-model-states-explored 3241485 4510
build-model-states-explored 3246012 4527
build-model-states-explored 3250513 4501
build-model-states-explored 3255013 4500
build-model-states-explored 3259514 4501
build-model-states-explored 3264038 4524
build-model-states-explored 3268563 4525
build-model-states-explored 3273069 4506
build-model-states-explored 3277603 4534
build-model-states-explored 3282096 4493
build-model-states-explored 3286594 4498
build-model-states-explored 3291113 4519
build-model-states-explored 3295616 4503
build-model-states-explored 3300134 4518
build-model-states-explored 3304633 4499
build-model-states-explored 3309144 4511
build-model-states-explored 3313682 4538
build-model-states-explored 3318180 4498
build-model-states-explored 3322655 4475
build-model-states-explored 3327133 4478
build-model-states-explored 3331628 4495
build-model-states-explored 3336135 4507
build-model-states-explored 3338253 2118
build-model-states-explored 3338253 0
build-model-states-explored 3338253 0
build-model-states-explored 3341356 3103
build-model-states-explored 3345878 4522
build-model-states-explored 3350388 4510
build-model-states-explored 3354903 4515
build-model-states-explored 3359431 4528
build-model-states-explored 3363952 4521
build-model-states-explored 3368483 4531
build-model-states-explored 3373022 4539
build-model-states-explored 3377535 4513
build-model-states-explored 3382037 4502
build-model-states-explored 3386544 4507
build-model-states-explored 3391061 4517
build-model-states-explored 3395568 4507
build-model-states-explored 3400084 4516
build-model-states-explored 3404579 4495
build-model-states-explored 3409082 4503
build-model-states-explored 3413587 4505
build-model-states-explored 3418101 4514
build-model-states-explored 3422631 4530
build-model-states-explored 3427164 4533
build-model-states-explored 3431673 4509
build-model-states-explored 3436188 4515
build-model-states-explored 3440290 4102
build-model-states-explored 3443754 3464
build-model-states-explored 3447220 3466
build-model-states-explored 3450688 3468
build-model-states-explored 3454147 3459
build-model-states-explored 3457613 3466
build-model-states-explored 3461035 3422
build-model-states-explored 3464494 3459
build-model-states-explored 3467958 3464
build-model-states-explored 3471429 3471
build-model-states-explored 3474892 3463
build-model-states-explored 3478322 3430
build-model-states-explored 3481737 3415
build-model-states-explored 3485184 3447
build-model-states-explored 3488630 3446
build-model-states-explored 3492066 3436
build-model-states-explored 3495484 3418
build-model-states-explored 3498959 3475
build-model-states-explored 3502420 3461
build-model-states-explored 3505884 3464
build-model-states-explored 3509348 3464
build-model-states-explored 3512808 3460
build-model-states-explored 3516270 3462
build-model-states-explored 3519693 3423
build-model-states-explored 3523159 3466
build-model-states-explored 3526622 3463
build-model-states-explored 3530083 3461
build-model-states-explored 3533554 3471
build-model-states-explored 3537023 3469
build-model-states-explored 3540501 3478
build-model-states-explored 3543974 3473
build-model-states-explored 3547441 3467
build-model-states-explored 3550908 3467
build-model-states-explored 3554372 3464
build-model-states-explored 3557842 3470
build-model-states-explored 3561304 3462
build-model-states-explored 3564765 3461
build-model-states-explored 3568221 3456
build-model-states-explored 3571690 3469
build-model-states-explored 3575148 3458
build-model-states-explored 3578603 3455
build-model-states-explored 3582057 3454
build-model-states-explored 3585516 3459
build-model-states-explored 3588978 3462
build-model-states-explored 3592431 3453
build-model-states-explored 3595890 3459
build-model-states-explored 3599342 3452
build-model-states-explored 3602801 3459
build-model-states-explored 3606269 3468
build-model-states-explored 3609732 3463
build-model-states-explored 3613196 3464
build-model-states-explored 3616664 3468
build-model-states-explored 3620135 3471
build-model-states-explored 3623604 3469
build-model-states-explored 3627074 3470
build-model-states-explored 3630541 3467
build-model-states-explored 3634008 3467
build-model-states-explored 3637480 3472
build-model-states-explored 3640943 3463
build-model-states-explored 3644406 3463
build-model-states-explored 3647870 3464
build-model-states-explored 3651331 3461
build-model-states-explored 3654799 3468
build-model-states-explored 3658263 3464
build-model-states-explored 3661711 3448
build-model-states-explored 3665178 3467
build-model-states-explored 3668639 3461
build-model-states-explored 3672102 3463
build-model-states-explored 3675564 3462
build-model-states-explored 3679028 3464
build-model-states-explored 3682488 3460
build-model-states-explored 3685945 3457
build-model-states-explored 3689405 3460
build-model-states-explored 3692864 3459
build-model-states-explored 3696325 3461
build-model-states-explored 3699779 3454
build-model-states-explored 3703238 3459
build-model-states-explored 3706702 3464
build-model-states-explored 3710163 3461
build-model-states-explored 3713619 3456
build-model-states-explored 3717081 3462
build-model-states-explored 3720545 3464
build-model-states-explored 3724007 3462
build-model-states-explored 3727453 3446
build-model-states-explored 3730899 3446
build-model-states-explored 3734348 3449
build-model-states-explored 3737787 3439
build-model-states-explored 3741218 3431
build-model-states-explored 3744664 3446
build-model-states-explored 3748078 3414
build-model-states-explored 3751521 3443
build-model-states-explored 3754953 3432
build-model-states-explored 3758380 3427
build-model-states-explored 3761821 3441
build-model-states-explored 3765257 3436
build-model-states-explored 3768697 3440
build-model-states-explored 3772144 3447
build-model-states-explored 3775589 3445
build-model-states-explored 3779032 3443
build-model-states-explored 3782476 3444
build-model-states-explored 3785914 3438
build-model-states-explored 3789353 3439
build-model-states-explored 3792798 3445
build-model-states-explored 3796235 3437
build-model-states-explored 3799679 3444
build-model-states-explored 3803126 3447
build-model-states-explored 3806539 3413
build-model-states-explored 3809952 3413
build-model-states-explored 3813400 3448
build-model-states-explored 3816831 3431
build-model-states-explored 3820275 3444
build-model-states-explored 3823724 3449
build-model-states-explored 3827170 3446
build-model-states-explored 3830615 3445
build-model-states-explored 3834065 3450
build-model-states-explored 3837509 3444
build-model-states-explored 3840953 3444
build-model-states-explored 3844393 3440
build-model-states-explored 3847833 3440
build-model-states-explored 3851281 3448
build-model-states-explored 3854721 3440
build-model-states-explored 3858157 3436
build-model-states-explored 3861594 3437
build-model-states-explored 3865033 3439
build-model-states-explored 3868478 3445
build-model-states-explored 3871920 3442
build-model-states-explored 3875361 3441
build-model-states-explored 3878808 3447
build-model-states-explored 3882247 3439
build-model-states-explored 3885690 3443
build-model-states-explored 3889128 3438
build-model-states-explored 3892568 3440
build-model-states-explored 3896014 3446
build-model-states-explored 3899454 3440
build-model-states-explored 3902897 3443
build-model-states-explored 3906336 3439
build-model-states-explored 3909780 3444
build-model-states-explored 3913227 3447
build-model-states-explored 3916672 3445
build-model-states-explored 3920121 3449
build-model-states-explored 3923566 3445
build-model-states-explored 3927003 3437
build-model-states-explored 3930452 3449
build-model-states-explored 3933900 3448
build-model-states-explored 3937346 3446
build-model-states-explored 3940785 3439
build-model-states-explored 3944232 3447
build-model-states-explored 3947672 3440
build-model-states-explored 3951123 3451
build-model-states-explored 3954566 3443
build-model-states-explored 3958007 3441
build-model-states-explored 3961451 3444
build-model-states-explored 3964893 3442
build-model-states-explored 3968330 3437
build-model-states-explored 3971774 3444
build-model-states-explored 3975217 3443
build-model-states-explored 3978656 3439
build-model-states-explored 3982094 3438
build-model-states-explored 3985537 3443
build-model-states-explored 3988979 3442
build-model-states-explored 3992423 3444
build-model-states-explored 3995865 3442
build-model-states-explored 3999311 3446
build-model-states-explored 4002760 3449
build-model-states-explored 4006206 3446
build-model-states-explored 4009653 3447
build-model-states-explored 4013638 3985
build-model-states-explored 4018134 4496
build-model-states-explored 4022610 4476
build-model-states-explored 4027104 4494
build-model-states-explored 4031611 4507
build-model-states-explored 4036109 4498
build-model-states-explored 4040622 4513
build-model-states-explored 4045124 4502
build-model-states-explored 4049637 4513
build-model-states-explored 4054140 4503
build-model-states-explored 4058648 4508
build-model-states-explored 4063170 4522
build-model-states-explored 4067688 4518
build-model-states-explored 4072211 4523
build-model-states-explored 4076714 4503
build-model-states-explored 4081208 4494
build-model-states-explored 4085733 4525
build-model-states-explored 4090258 4525
build-model-states-explored 4094779 4521
build-model-states-explored 4099290 4511
build-model-states-explored 4103814 4524
build-model-states-explored 4108357 4543
build-model-states-explored 4112866 4509
build-model-states-explored 4117379 4513
build-model-states-explored 4121883 4504
build-model-states-explored 4126402 4519
build-model-states-explored 4130914 4512
build-model-states-explored 4135440 4526
build-model-states-explored 4139942 4502
build-model-states-explored 4144452 4510
build-model-states-explored 4148961 4509
build-model-states-explored 4153490 4529
build-model-states-explored 4158011 4521
build-model-states-explored 4162532 4521
build-model-states-explored 4167048 4516
build-model-states-explored 4171574 4526
build-model-states-explored 4176086 4512
build-model-states-explored 4180628 4542
build-model-states-explored 4185154 4526
build-model-states-explored 4189625 4471
build-model-states-explored 4194088 4463
build-model-states-explored 4197970 3882
build-model-states-explored 4202473 4503
build-model-states-explored 4206985 4512
build-model-states-explored 4211486 4501
build-model-states-explored 4215967 4481
build-model-states-explored 4220488 4521
build-model-states-explored 4224980 4492
build-model-states-explored 4229450 4470
build-model-states-explored 4233974 4524
build-model-states-explored 4238467 4493
build-model-states-explored 4242984 4517
build-model-states-explored 4247524 4540
build-model-states-explored 4252037 4513
build-model-states-explored 4256545 4508
build-model-states-explored 4261047 4502
build-model-states-explored 4265557 4510
build-model-states-explored 4270059 4502
build-model-states-explored 4274547 4488
build-model-states-explored 4279040 4493
build-model-states-explored 4283557 4517
build-model-states-explored 4288069 4512
build-model-states-explored 4292579 4510
build-model-states-explored 4297090 4511
build-model-states-explored 4301048 3958
build-model-states-explored 4304505 3457
build-model-states-explored 4307963 3458
build-model-states-explored 4311426 3463
build-model-states-explored 4314890 3464
build-model-states-explored 4318355 3465
build-model-states-explored 4321820 3465
build-model-states-explored 4325282 3462
build-model-states-explored 4328743 3461
build-model-states-explored 4332202 3459
build-model-states-explored 4335669 3467
build-model-states-explored 4339128 3459
build-model-states-explored 4342586 3458
build-model-states-explored 4346036 3450
build-model-states-explored 4349497 3461
build-model-states-explored 4352963 3466
build-model-states-explored 4356425 3462
build-model-states-explored 4359890 3465
build-model-states-explored 4363355 3465
build-model-states-explored 4366813 3458
build-model-states-explored 4370270 3457
build-model-states-explored 4373731 3461
build-model-states-explored 4377187 3456
build-model-states-explored 4380653 3466
build-model-states-explored 4384112 3459
build-model-states-explored 4387571 3459
build-model-states-explored 4391034 3463
build-model-states-explored 4394495 3461
build-model-states-explored 4397968 3473
build-model-states-explored 4401433 3465
build-model-states-explored 4404893 3460
build-model-states-explored 4408355 3462
build-model-states-explored 4411818 3463
build-model-states-explored 4415280 3462
build-model-states-explored 4418740 3460
build-model-states-explored 4422207 3467
build-model-states-explored 4425662 3455
build-model-states-explored 4429121 3459
build-model-states-explored 4432588 3467
build-model-states-explored 4436059 3471
build-model-states-explored 4439527 3468
build-model-states-explored 4442999 3472
build-model-states-explored 4446468 3469
build-model-states-explored 4449931 3463
build-model-states-explored 4453396 3465
build-model-states-explored 4456866 3470
build-model-states-explored 4460331 3465
build-model-states-explored 4463795 3464
build-model-states-explored 4467248 3453
build-model-states-explored 4470708 3460
build-model-states-explored 4474176 3468
build-model-states-explored 4477640 3464
build-model-states-explored 4481000 3360
build-model-states-explored 4484448 3448
build-model-states-explored 4487900 3452
build-model-states-explored 4491362 3462
build-model-states-explored 4494829 3467
build-model-states-explored 4498260 3431
build-model-states-explored 4501702 3442
build-model-states-explored 4505153 3451
build-model-states-explored 4508606 3453
build-model-states-explored 4512051 3445
build-model-states-explored 4515500 3449
build-model-states-explored 4518957 3457
build-model-states-explored 4522409 3452
build-model-states-explored 4525856 3447
build-model-states-explored 4529314 3458
build-model-states-explored 4532768 3454
build-model-states-explored 4536221 3453
build-model-states-explored 4539675 3454
build-model-states-explored 4543119 3444
build-model-states-explored 4546569 3450
build-model-states-explored 4550015 3446
build-model-states-explored 4553460 3445
build-model-states-explored 4556903 3443
build-model-states-explored 4560348 3445
build-model-states-explored 4563705 3357
build-model-states-explored 4567152 3447
build-model-states-explored 4570602 3450
build-model-states-explored 4574051 3449
build-model-states-explored 4577499 3448
build-model-states-explored 4580914 3415
build-model-states-explored 4584311 3397
build-model-states-explored 4587742 3431
build-model-states-explored 4591162 3420
build-model-states-explored 4594575 3413
build-model-states-explored 4597984 3409
build-model-states-explored 4601425 3441
build-model-states-explored 4604870 3445
build-model-states-explored 4608317 3447
build-model-states-explored 4611738 3421
build-model-states-explored 4615160 3422
build-model-states-explored 4618581 3421
build-model-states-explored 4622006 3425
build-model-states-explored 4625432 3426
build-model-states-explored 4628848 3416
build-model-states-explored 4632270 3422
build-model-states-explored 4635688 3418
build-model-states-explored 4639094 3406
build-model-states-explored 4642517 3423
build-model-states-explored 4645929 3412
build-model-states-explored 4649349 3420
build-model-states-explored 4652761 3412
build-model-states-explored 4656175 3414
build-model-states-explored 4659594 3419
build-model-states-explored 4663006 3412
build-model-states-explored 4666422 3416
build-model-states-explored 4669846 3424
build-model-states-explored 4673272 3426
build-model-states-explored 4676693 3421
build-model-states-explored 4680115 3422
build-model-states-explored 4683534 3419
build-model-states-explored 4686951 3417
build-model-states-explored 4690368 3417
build-model-states-explored 4693790 3422
build-model-states-explored 4697209 3419
build-model-states-explored 4700629 3420
build-model-states-explored 4704046 3417
build-model-states-explored 4707465 3419
build-model-states-explored 4710887 3422
build-model-states-explored 4714307 3420
build-model-states-explored 4717727 3420
build-model-states-explored 4721150 3423
build-model-states-explored 4724576 3426
build-model-states-explored 4727995 3419
build-model-states-explored 4731420 3425
build-model-states-explored 4734844 3424
build-model-states-explored 4738263 3419
build-model-states-explored 4741677 3414
build-model-states-explored 4745095 3418
build-model-states-explored 4748511 3416
build-model-states-explored 4751933 3422
build-model-states-explored 4755354 3421
build-model-states-explored 4758771 3417
build-model-states-explored 4762195 3424
build-model-states-explored 4765619 3424
build-model-states-explored 4769032 3413
build-model-states-explored 4772445 3413
build-model-states-explored 4775863 3418
build-model-states-explored 4779285 3422
build-model-states-explored 4782703 3418
build-model-states-explored 4786122 3419
build-model-states-explored 4789542 3420
build-model-states-explored 4792967 3425
build-model-states-explored 4796387 3420
build-model-states-explored 4799810 3423
build-model-states-explored 4803225 3415
build-model-states-explored 4806647 3422
build-model-states-explored 4810067 3420
build-model-states-explored 4813482 3415
build-model-states-explored 4816899 3417
build-model-states-explored 4820311 3412
build-model-states-explored 4823722 3411
build-model-states-explored 4827140 3418
build-model-states-explored 4830551 3411
build-model-states-explored 4833963 3412
build-model-states-explored 4837383 3420
build-model-states-explored 4840799 3416
build-model-states-explored 4844219 3420
build-model-states-explored 4847641 3422
build-model-states-explored 4851064 3423
build-model-states-explored 4854489 3425
build-model-states-explored 4857906 3417
build-model-states-explored 4861325 3419
build-model-states-explored 4864745 3420
build-model-states-explored 4868149 3404
build-model-states-explored 4871560 3411
build-model-states-explored 4874981 3421
build-model-states-explored 4878402 3421
build-model-states-explored 4881818 3416
build-model-states-explored 4885237 3419
build-model-states-explored 4888660 3423
build-model-states-explored 4892075 3415
build-model-states-explored 4895493 3418
build-model-states-explored 4898906 3413
build-model-states-explored 4902320 3414
build-model-states-explored 4905739 3419
build-model-states-explored 4909161 3422
build-model-states-explored 4912581 3420
build-model-states-explored 4915998 3417
build-model-states-explored 4919418 3420
build-model-states-explored 4923750 4332
build-model-states-explored 4928191 4441
build-model-states-explored 4932653 4462
build-model-states-explored 4937081 4428
build-model-states-explored 4941544 4463
build-model-states-explored 4946007 4463
build-model-states-explored 4950476 4469
build-model-states-explored 4954925 4449
build-model-states-explored 4959384 4459
build-model-states-explored 4963853 4469
build-model-states-explored 4968328 4475
build-model-states-explored 4972796 4468
build-model-states-explored 4977282 4486
build-model-states-explored 4981727 4445
build-model-states-explored 4986193 4466
build-model-states-explored 4990648 4455
build-model-states-explored 4995119 4471
build-model-states-explored 4999579 4460
build-model-states-explored 5004062 4483
build-model-states-explored 5008526 4464
build-model-states-explored 5012994 4468
build-model-states-explored 5017462 4468
build-model-states-explored 5021939 4477
build-model-states-explored 5026406 4467
build-model-states-explored 5030873 4467
build-model-states-explored 5035362 4489
build-model-states-explored 5039816 4454
build-model-states-explored 5044292 4476
build-model-states-explored 5048787 4495
build-model-states-explored 5053264 4477
build-model-states-explored 5057738 4474
build-model-states-explored 5062213 4475
build-model-states-explored 5066662 4449
build-model-states-explored 5071129 4467
build-model-states-explored 5075608 4479
build-model-states-explored 5080032 4424
build-model-states-explored 5084490 4458
build-model-states-explored 5088929 4439
build-model-states-explored 5093403 4474
build-model-states-explored 5097861 4458
build-model-states-explored 5102359 4498
build-model-states-explored 5106842 4483
build-model-states-explored 5111319 4477
build-model-states-explored 5115796 4477
build-model-states-explored 5120280 4484
build-model-states-explored 5124758 4478
build-model-states-explored 5129256 4498
build-model-states-explored 5133723 4467
build-model-states-explored 5138157 4434
build-model-states-explored 5142586 4429
build-model-states-explored 5147051 4465
build-model-states-explored 5151523 4472
build-model-states-explored 5155974 4451
build-model-states-explored 5160432 4458
build-model-states-explored 5164905 4473
build-model-states-explored 5169348 4443
build-model-states-explored 5173817 4469
build-model-states-explored 5178304 4487
build-model-states-explored 5182761 4457
build-model-states-explored 5187248 4487
build-model-states-explored 5191722 4474
build-model-states-explored 5196159 4437
build-model-states-explored 5200639 4480
build-model-states-explored 5205084 4445
build-model-states-explored 5209528 4444
build-model-states-explored 5213980 4452
build-model-states-explored 5218432 4452
build-model-states-explored 5222893 4461
build-model-states-explored 5227369 4476
build-model-states-explored 5231308 3939
build-model-states-explored 5234767 3459
build-model-states-explored 5238217 3450
build-model-states-explored 5241668 3451
build-model-states-explored 5245114 3446
build-model-states-explored 5248555 3441
build-model-states-explored 5252005 3450
build-model-states-explored 5255461 3456
build-model-states-explored 5258897 3436
build-model-states-explored 5262343 3446
build-model-states-explored 5265787 3444
build-model-states-explored 5269239 3452
build-model-states-explored 5272687 3448
build-model-states-explored 5276138 3451
build-model-states-explored 5279586 3448
build-model-states-explored 5283031 3445
build-model-states-explored 5286475 3444
build-model-states-explored 5289927 3452
build-model-states-explored 5293369 3442
build-model-states-explored 5296806 3437
build-model-states-explored 5300259 3453
build-model-states-explored 5303707 3448
build-model-states-explored 5307147 3440
build-model-states-explored 5310596 3449
build-model-states-explored 5314040 3444
build-model-states-explored 5317484 3444
build-model-states-explored 5320930 3446
build-model-states-explored 5324373 3443
build-model-states-explored 5327822 3449
build-model-states-explored 5331273 3451
build-model-states-explored 5334719 3446
build-model-states-explored 5338159 3440
build-model-states-explored 5341602 3443
build-model-states-explored 5345059 3457
build-model-states-explored 5348511 3452
build-model-states-explored 5351953 3442
build-model-states-explored 5355395 3442
build-model-states-explored 5358842 3447
build-model-states-explored 5362288 3446
build-model-states-explored 5365732 3444
build-model-states-explored 5369175 3443
build-model-states-explored 5372631 3456
build-model-states-explored 5376079 3448
build-model-states-explored 5379527 3448
build-model-states-explored 5382978 3451
build-model-states-explored 5386430 3452
build-model-states-explored 5389880 3450
build-model-states-explored 5393331 3451
build-model-states-explored 5396772 3441
build-model-states-explored 5400218 3446
build-model-states-explored 5403635 3417
build-model-states-explored 5407087 3452
build-model-states-explored 5410541 3454
build-model-states-explored 5413991 3450
build-model-states-explored 5417440 3449
build-model-states-explored 5420895 3455
build-model-states-explored 5424351 3456
build-model-states-explored 5427806 3455
build-model-states-explored 5431258 3452
build-model-states-explored 5434708 3450
build-model-states-explored 5438153 3445
build-model-states-explored 5441595 3442
build-model-states-explored 5445046 3451
build-model-states-explored 5448498 3452
build-model-states-explored 5451935 3437
build-model-states-explored 5455383 3448
build-model-states-explored 5458819 3436
build-model-states-explored 5462257 3438
build-model-states-explored 5465708 3451
build-model-states-explored 5469155 3447
build-model-states-explored 5472608 3453
build-model-states-explored 5476056 3448
build-model-states-explored 5479502 3446
build-model-states-explored 5482954 3452
build-model-states-explored 5486401 3447
build-model-states-explored 5489854 3453
build-model-states-explored 5493304 3450
build-model-states-explored 5496757 3453
build-model-states-explored 5500209 3452
build-model-states-explored 5503661 3452
build-model-states-explored 5507108 3447
build-model-states-explored 5510558 3450
build-model-states-explored 5514015 3457
build-model-states-explored 5517464 3449
build-model-states-explored 5520887 3423
build-model-states-explored 5524328 3441
build-model-states-explored 5527778 3450
build-model-states-explored 5531223 3445
build-model-states-explored 5534662 3439
build-model-states-explored 5538114 3452
build-model-states-explored 5541565 3451
build-model-states-explored 5545014 3449
build-model-states-explored 5548451 3437
build-model-states-explored 5551897 3446
build-model-states-explored 5555338 3441
build-model-states-explored 5558766 3428
build-model-states-explored 5562180 3414
build-model-states-explored 5565588 3408
build-model-states-explored 5569004 3416
build-model-states-explored 5572410 3406
build-model-states-explored 5575826 3416
build-model-states-explored 5579243 3417
build-model-states-explored 5582666 3423
build-model-states-explored 5586087 3421
build-model-states-explored 5589508 3421
build-model-states-explored 5592929 3421
build-model-states-explored 5596352 3423
build-model-states-explored 5599772 3420
build-model-states-explored 5603175 3403
build-model-states-explored 5606600 3425
build-model-states-explored 5610026 3426
build-model-states-explored 5613449 3423
build-model-states-explored 5616867 3418
build-model-states-explored 5620258 3391
build-model-states-explored 5623679 3421
build-model-states-explored 5627101 3422
build-model-states-explored 5630526 3425
build-model-states-explored 5633949 3423
build-model-states-explored 5637370 3421
build-model-states-explored 5640762 3392
build-model-states-explored 5644183 3421
build-model-states-explored 5647583 3400
build-model-states-explored 5651001 3418
build-model-states-explored 5654421 3420
build-model-states-explored 5657830 3409
build-model-states-explored 5661251 3421
build-model-states-explored 5664632 3381
build-model-states-explored 5668050 3418
build-model-states-explored 5671465 3415
build-model-states-explored 5674873 3408
build-model-states-explored 5678297 3424
build-model-states-explored 5681691 3394
build-model-states-explored 5685048 3357
build-model-states-explored 5688446 3398
build-model-states-explored 5691844 3398
build-model-states-explored 5695216 3372
build-model-states-explored 5698597 3381
build-model-states-explored 5702001 3404
build-model-states-explored 5705410 3409
build-model-states-explored 5708826 3416
build-model-states-explored 5712245 3419
build-model-states-explored 5715660 3415
build-model-states-explored 5719078 3418
build-model-states-explored 5722498 3420
build-model-states-explored 5725917 3419
build-model-states-explored 5729334 3417
build-model-states-explored 5732732 3398
build-model-states-explored 5736147 3415
build-model-states-explored 5739564 3417
build-model-states-explored 5742985 3421
build-model-states-explored 5746406 3421
build-model-states-explored 5749823 3417
build-model-states-explored 5753239 3416
build-model-states-explored 5756653 3414
build-model-states-explored 5760074 3421
build-model-states-explored 5763486 3412
build-model-states-explored 5766905 3419
build-model-states-explored 5770330 3425
build-model-states-explored 5773745 3415
build-model-states-explored 5777164 3419
build-model-states-explored 5780588 3424
build-model-states-explored 5784007 3419
build-model-states-explored 5787431 3424
build-model-states-explored 5790831 3400
build-model-states-explored 5794245 3414
build-model-states-explored 5797620 3375
build-model-states-explored 5801041 3421
build-model-states-explored 5804469 3428
build-model-states-explored 5807882 3413
build-model-states-explored 5811303 3421
build-model-states-explored 5814706 3403
build-model-states-explored 5818128 3422
build-model-states-explored 5821543 3415
build-model-states-explored 5824967 3424
build-model-states-explored 5828284 3317
build-model-states-explored 5831706 3422
build-model-states-explored 5835129 3423
build-model-states-explored 5838553 3424
build-model-states-explored 5841974 3421
build-model-states-explored 5845393 3419
build-model-states-explored 5848794 3401
build-model-states-explored 5852185 3391
build-model-states-explored 5855605 3420
build-model-states-explored 5859024 3419
build-model-states-explored 5862441 3417
build-model-states-explored 5865864 3423
build-model-states-explored 5869283 3419
build-model-states-explored 5872691 3408
build-model-states-explored 5876113 3422
build-model-states-explored 5879533 3420
build-model-states-explored 5883132 3599
build-model-states-explored 5887558 4426
build-model-states-explored 5892023 4465
build-model-states-explored 5896472 4449
build-model-states-explored 5900927 4455
build-model-states-explored 5905373 4446
build-model-states-explored 5909808 4435
build-model-states-explored 5914259 4451
build-model-states-explored 5918673 4414
build-model-states-explored 5923132 4459
build-model-states-explored 5927580 4448
build-model-states-explored 5932033 4453
build-model-states-explored 5936474 4441
build-model-states-explored 5940897 4423
build-model-states-explored 5945378 4481
build-model-states-explored 5949861 4483
build-model-states-explored 5953743 3882
build-model-states-explored 5958196 4453
build-model-states-explored 5962648 4452
build-model-states-explored 5967114 4466
build-model-states-explored 5971568 4454
build-model-states-explored 5976022 4454
build-model-states-explored 5980450 4428
build-model-states-explored 5984901 4451
build-model-states-explored 5989379 4478
build-model-states-explored 5993828 4449
build-model-states-explored 5998304 4476
build-model-states-explored 6002771 4467
build-model-states-explored 6007245 4474
build-model-states-explored 6011711 4466
build-model-states-explored 6016188 4477
build-model-states-explored 6020663 4475
build-model-states-explored 6025112 4449
build-model-states-explored 6029598 4486
build-model-states-explored 6034062 4464
build-model-states-explored 6038521 4459
build-model-states-explored 6042994 4473
build-model-states-explored 6047473 4479
build-model-states-explored 6051934 4461
build-model-states-explored 6056394 4460
build-model-states-explored 6060884 4490
build-model-states-explored 6065333 4449
build-model-states-explored 6069784 4451
build-model-states-explored 6074253 4469
build-model-states-explored 6078695 4442
build-model-states-explored 6083137 4442
build-model-states-explored 6087596 4459
build-model-states-explored 6090599 3003
build-model-states-explored 6095068 4469
build-model-states-explored 6099527 4459
build-model-states-explored 6104018 4491
build-model-states-explored 6108480 4462
build-model-states-explored 6112953 4473
build-model-states-explored 6117424 4471
build-model-states-explored 6121902 4478
build-model-states-explored 6126376 4474
build-model-states-explored 6130816 4440
build-model-states-explored 6135240 4424
build-model-states-explored 6139645 4405
build-model-states-explored 6144096 4451
build-model-states-explored 6148559 4463
build-model-states-explored 6153019 4460
build-model-states-explored 6157468 4449
build-model-states-explored 6161918 4450
build-model-states-explored 6166385 4467
build-model-states-explored 6170854 4469
build-model-states-explored 6175320 4466
build-model-states-explored 6179795 4475
build-model-states-explored 6184250 4455
build-model-states-explored 6188706 4456
build-model-states-explored 6193134 4428
build-model-states-explored 6197572 4438
build-model-states-explored 6202017 4445
build-model-states-explored 6206135 4118
build-model-states-explored 6209557 3422
build-model-states-explored 6212991 3434
build-model-states-explored 6216419 3428
build-model-states-explored 6219850 3431
build-model-states-explored 6223281 3431
build-model-states-explored 6226710 3429
build-model-states-explored 6230136 3426
build-model-states-explored 6233564 3428
build-model-states-explored 6236996 3432
build-model-states-explored 6240429 3433
build-model-states-explored 6243866 3437
build-model-states-explored 6247299 3433
build-model-states-explored 6250730 3431
build-model-states-explored 6254157 3427
build-model-states-explored 6257590 3433
build-model-states-explored 6261013 3423
build-model-states-explored 6264446 3433
build-model-states-explored 6267878 3432
build-model-states-explored 6271307 3429
build-model-states-explored 6274735 3428
build-model-states-explored 6278168 3433
build-model-states-explored 6281598 3430
build-model-states-explored 6285030 3432
build-model-states-explored 6288464 3434
build-model-states-explored 6291891 3427
build-model-states-explored 6295323 3432
build-model-states-explored 6298753 3430
build-model-states-explored 6302182 3429
build-model-states-explored 6305608 3426
build-model-states-explored 6309038 3430
build-model-states-explored 6312470 3432
build-model-states-explored 6315904 3434
build-model-states-explored 6319334 3430
build-model-states-explored 6322766 3432
build-model-states-explored 6326201 3435
build-model-states-explored 6329632 3431
build-model-states-explored 6333061 3429
build-model-states-explored 6336493 3432
build-model-states-explored 6339928 3435
build-model-states-explored 6343361 3433
build-model-states-explored 6346791 3430
build-model-states-explored 6350221 3430
build-model-states-explored 6353657 3436
build-model-states-explored 6357096 3439
build-model-states-explored 6360525 3429
build-model-states-explored 6363950 3425
build-model-states-explored 6367377 3427
build-model-states-explored 6370814 3437
build-model-states-explored 6374251 3437
build-model-states-explored 6377684 3433
build-model-states-explored 6381111 3427
build-model-states-explored 6384537 3426
build-model-states-explored 6387965 3428
build-model-states-explored 6391397 3432
build-model-states-explored 6394828 3431
build-model-states-explored 6398264 3436
build-model-states-explored 6401703 3439
build-model-states-explored 6405132 3429
build-model-states-explored 6408557 3425
build-model-states-explored 6411987 3430
build-model-states-explored 6415408 3421
build-model-states-explored 6418831 3423
build-model-states-explored 6422250 3419
build-model-states-explored 6425670 3420
build-model-states-explored 6429091 3421
build-model-states-explored 6432512 3421
build-model-states-explored 6435932 3420
build-model-states-explored 6439374 3442
build-model-states-explored 6442811 3437
build-model-states-explored 6446243 3432
build-model-states-explored 6449674 3431
build-model-states-explored 6453101 3427
build-model-states-explored 6456522 3421
build-model-states-explored 6459958 3436
build-model-states-explored 6463390 3432
build-model-states-explored 6466818 3428
build-model-states-explored 6470246 3428
build-model-states-explored 6473675 3429
build-model-states-explored 6477105 3430
build-model-states-explored 6480543 3438
build-model-states-explored 6483976 3433
build-model-states-explored 6487410 3434
build-model-states-explored 6490842 3432
build-model-states-explored 6494275 3433
build-model-states-explored 6497701 3426
build-model-states-explored 6501134 3433
build-model-states-explored 6504566 3432
build-model-states-explored 6507997 3431
build-model-states-explored 6511428 3431
build-model-states-explored 6514864 3436
build-model-states-explored 6518297 3433
build-model-states-explored 6521727 3430
build-model-states-explored 6525162 3435
build-model-states-explored 6528592 3430
build-model-states-explored 6532024 3432
build-model-states-explored 6535458 3434
build-model-states-explored 6538888 3430
build-model-states-explored 6542319 3431
build-model-states-explored 6545748 3429
build-model-states-explored 6549170 3422
build-model-states-explored 6552597 3427
build-model-states-explored 6556030 3433


----------
Computation aborted after 1800.0453615188599 seconds since the total time limit of 1800 seconds was exceeded.